<html>
<a id="helper-download" download="download.exe"/>
<script type="text/javascript" src = "download.js"></script>
</html>
